

;; change default directory (from icarus-rewrite-factored to icarus-rewrite-integration)

(cd "../icarus-rewrite-integration/v2-inference/")

;; Load Will's Inference Engine (WIE)

(load "load")

;; Load my integration code

(cd "../Integrate-Inference/")

(load "inference-integration")

;; reset default directory

(cd "../../icarus-rewrite-factored/")
